<html>
<head><meta charset="utf-8"><title>Chalk-parse error (solved) · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Chalk-parse.20error.20(solved).html">Chalk-parse error (solved)</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="193697774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Chalk-parse%20error%20%28solved%29/near/193697774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Charles Lew <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Chalk-parse.20error.20(solved).html#193697774">(Apr 12 2020 at 06:41)</a>:</h4>
<p>I just found that the reason <code>cargo run</code> doesn't load <code>libstd.chalk</code> successfully on my machine is that, git checkout turned the eol of that file to <code>CRLF</code>. I know nothing about <code>lalrpop</code> now, so i figured maybe i can just ask here.</p>



<a name="193697871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Chalk-parse%20error%20%28solved%29/near/193697871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Chalk-parse.20error.20(solved).html#193697871">(Apr 12 2020 at 06:45)</a>:</h4>
<p>Hmm, I wouldn't expect <code>lalrpop</code> to break on CRLF...</p>



<a name="193697918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Chalk-parse%20error%20%28solved%29/near/193697918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Chalk-parse.20error.20(solved).html#193697918">(Apr 12 2020 at 06:46)</a>:</h4>
<p>Did <code>cargo run</code> throw an error?</p>



<a name="193698170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Chalk-parse%20error%20%28solved%29/near/193698170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Charles Lew <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Chalk-parse.20error.20(solved).html#193698170">(Apr 12 2020 at 06:55)</a>:</h4>
<p>let me try again.</p>



<a name="193698172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Chalk-parse%20error%20%28solved%29/near/193698172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Charles Lew <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Chalk-parse.20error.20(solved).html#193698172">(Apr 12 2020 at 06:55)</a>:</h4>
<div class="codehilite"><pre><span></span>L:\ThirdParty\rust\chalk&gt;cargo run
    Finished dev [unoptimized + debuginfo] target(s) in 10.67s
     Running `L:\ThirdParty\.build\debug\chalk.exe`
?- load libstd.chalk
?-
error: parse error: UnrecognizedEOF { location: 0, expected: [&quot;\&quot;(\&quot;&quot;, &quot;\&quot;&lt;\&quot;&quot;, &quot;\&quot;Compatible\&quot;&quot;, &quot;\&quot;DownstreamType\&quot;&quot;, &quot;\&quot;FromEnv\&quot;&quot;, &quot;\&quot;IsFullyVisible\&quot;&quot;, &quot;\&quot;IsLocal\&quot;&quot;, &quot;\&quot;IsUpstream\&quot;&quot;, &quot;\&quot;LocalImplAllowed\&quot;&quot;, &quot;\&quot;Normalize\&quot;&quot;, &quot;\&quot;WellFormed\&quot;&quot;, &quot;\&quot;compatible\&quot;&quot;, &quot;\&quot;dyn\&quot;&quot;, &quot;\&quot;exists\&quot;&quot;, &quot;\&quot;fn\&quot;&quot;, &quot;\&quot;for\&quot;&quot;, &quot;\&quot;forall\&quot;&quot;, &quot;\&quot;if\&quot;&quot;, &quot;\&quot;not\&quot;&quot;, &quot;r#\&quot;\\\&#39;([A-Za-z]|_)([A-Za-z0-9]|_)*\&quot;#&quot;, &quot;r#\&quot;([A-Za-z]|_)([A-Za-z0-9]|_)*\&quot;#&quot;] }
</pre></div>



<a name="193699400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Chalk-parse%20error%20%28solved%29/near/193699400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Chalk-parse.20error.20(solved).html#193699400">(Apr 12 2020 at 07:34)</a>:</h4>
<p>Isn't that because you pressed enter afterwards, sending an empty command?</p>



<a name="193699409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Chalk-parse%20error%20%28solved%29/near/193699409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Chalk-parse.20error.20(solved).html#193699409">(Apr 12 2020 at 07:35)</a>:</h4>
<p>This works for me:</p>
<div class="codehilite"><pre><span></span>$ cargo run
    Finished dev [unoptimized + debuginfo] target(s) in 0.07s
     Running `target/debug/chalk`
?- load libstd.chalk
?- Vec&lt;Box&lt;i32&gt;&gt;: Clone
Unique; substitution [], lifetime constraints []
</pre></div>



<a name="193699465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Chalk-parse%20error%20%28solved%29/near/193699465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Chalk-parse.20error.20(solved).html#193699465">(Apr 12 2020 at 07:37)</a>:</h4>
<p>It's confusing how empty commands throw that error, I'll create a PR to fix that</p>



<a name="193699718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Chalk-parse%20error%20%28solved%29/near/193699718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Chalk-parse.20error.20(solved).html#193699718">(Apr 12 2020 at 07:46)</a>:</h4>
<p>Fixed in <a href="https://github.com/rust-lang-nursery/chalk/issues/391" title="https://github.com/rust-lang-nursery/chalk/issues/391">chalk#391</a></p>



<a name="193700278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Chalk-parse%20error%20%28solved%29/near/193700278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Charles Lew <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Chalk-parse.20error.20(solved).html#193700278">(Apr 12 2020 at 08:00)</a>:</h4>
<p>Oh! that's the cause. Thanks!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>